Enable Windows PAE guest on x86-64. Deals with two issues:
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Thu, 23 Mar 2006 11:51:10 +0000 (12:51 +0100)
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Thu, 23 Mar 2006 11:51:10 +0000 (12:51 +0100)
commit5b1fe770e06885646e98b8d48fdf4daf7c59ba7c
treed36401b12d14ae7edf6f50d739ef5c9b2ac1ccf1
parentb699d329f76ec8578a03ec9b131e9e03245de3fd
Enable Windows PAE guest on x86-64. Deals with two issues:
 1) To handle the situation when PE=1 and PG=0.
 2) Windows PAE guest seems to enable PAE first and then enable PG.

Signed-off-by: Xiaohui Xin <xiaohui.xin@intel.com>
xen/arch/x86/hvm/vmx/vmx.c